Design and Validation of a Detailed Aircraft Performance Model for Trajectory Optimisation