Determination of molecular vibrational state energies using the ab initio semiclassical initial value representation: Application to formaldehyde