pendulum differential equation solution