Elastic buckling of thin-walled polyhedral pipe liners encased in a circular pipe under uniform external pressure