Buck Showalter appointed Mets manager