Mathematical theory of age-structured population dynamics