How many seats are in a double-decker bus?