An overview of Morihiko Saito's theory of mixed Hodge modules