FLEET: Formal Language-Grounded Scheduling for Heterogeneous Robot Teams