Multi-robot Mission Planning in Dynamic Semantic Environments