The Dirac equation and the normalization of its solutions in a closed Friedmann– Robertson–Walker universe