Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps