Variational calculations on the binding energy of the alpha particle (I): Hard-core potentials