How was the vertex formula for graphing quadratic functions derived ?