Frame-dragging and Gravitomagnetism: Theory and Experiment