Stochastic three-dimensional rotating Navier-Stokes equations: averaging, convergence and regularity