Tourists to Colombia up 9.4%