Nondestructive beam envelope measurements using beam position monitors for low-beta heavy ion beams in a superconducting linear accelerator | Synapse