Predicting labour productivity for formwork activities in high-rise building construction: a case study