Text this: A Polynomial Translation of Mobile Ambients into Safe Petri Nets