Model-aware UAV trajectory planning for efficient radio environment mapping