Extremality of numerical radii of matrix products