buyGas in GasStationImpl is now synchronized.