A tight bound on the worst-case number of comparisons for Floyd's heap construction algorithm