A PDDL+ Benchmark Problem: The Batch Chemical Plant