The problem of time in quantum cosmology