Optimal Temporal Logic Planning in Probabilistic Semantic Maps