已知二次函数y=ax2+bx+c，当x=-1时有最小值-4，且图象在x轴上截得线段长为4，求函数解析式．