Interference model for back-focal-plane displacement detection in optical tweezers | Synapse