Building information modeling for construction applications : formwork installation and quantity takeoff