High-resolution dual-trap optical tweezers with differential detection: an introduction