The 4D Einstein–Gauss–Bonnet theory of gravity: a review