Resolving subhaloes’ lives with the Hierarchical Bound-Tracing algorithm | Synapse