Effective convergence in computable measure theory