Title: Optimal long-term aircraft carrier deployment planning with synchronous depot level maintenance scheduling