From Functional Programs to Interaction Nets via the Rewriting Calculus