Miniaturized electromagnetic tracking enables efficient ultrasound-navigated needle insertions | Synapse