SDSU names Bryan Petersen men’s basketball head coach