Mankato area’s June sets new bar for rainfall, river levels