Automated Dynamic Mechanism Design