Double-deck aircraft