Text this: A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets