Automated Planning and Constraint Reasoning for High Throughput Laboratory Automation