Cost of double deck buses