已知二次函数y=ax^2+bx+c,Ymax=7,且y≥0的解集是{x|-1≤x≤3},求函数解析式.