Optimal Planning for Timed Partial Order Specifications