Dubai uses big data to develop marine transportation ticketing system