Colombian hotels see revenues rise 3.8% in July