A quadrangle comparison theorem and its application to soul theory for Alexandrov spaces