What's the equation to find the maximum height after a spring decompresses?