High-resolution dual-trap optical tweezers with differential detection: instrument design