Theory of nuclear matter