$A_1$-type overgroups of elements of order $p$ in semisimple algebraic groups and the associated finite groups