Bike sharing as a key smart city service: State of the art and future developments