when did the oasis of the seas come out