Logarithmic temperature profiles in the ultimate regime of thermal convection