The patio prevails: North Mankato votes to keep seasonal outdoor dining options