A Double-ended Queue with Catastrophes and Repairs, and a Jump-diffusion Approximation