The Finite Element Method for Initial Value Problems: Mathematics and Computations