Singularity The Inner Workings of Securely Running User Containers on HPC Systems