Update batch_execution.md