Multi-time Models for Temporally Abstract Planning