Equilibrium structure and potential function of selenium dioxide by microwave spectroscopy