DeSantis sues Biden administration over mask mandate