F-15 digital electronic engine control system description