How many sides does a regular polygon have if one exterior angle is 72?