Genetic evaluation of functional longevity in South African Holstein cattle using a proportional hazards model