Atletika na Letních olympijských hrách 1980 – skok vysoký muži