According to the NESC, what is the required minimum vertical clearance for a 7,200-volt distribution line over a public road?