What is the minimum diameter of rope allowed for a lifeline used in a personal fall arrest system on a roof?