Direct methane conversion to methanol by ionic liquid-dissolved platinum catalysts.