Automatic Generation of detailed Flight Plans from High-level Mission Descriptions