SESAR and Military Aircraft: Human Machine Interface definition for 4D Trajectory Management and ASAS Spacing functionalities