Hierarchical LTL-Task MDPs for Multi-Agent Coordination through Auctioning and Learning