Government to pay €9M bonus to the Air Traffic Controllers