Semiclassical limit for Dirac particles interacting with a gravitational field