How technology killed Pakistan’s historic red light district