Hopjump becomes SmarterTravel, raises $9.5M