Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE