Size effects in the fracture of a pipe-grade high density polyethylene