Model-aided Federated Reinforcement Learning for Multi-UAV Trajectory Planning in IoT Networks