Branch-and-cut with lazy separation for the vehicle routing problem with simultaneous pickup and delivery.