An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties