A light-propagation model for aircraft trajectory planning