Education is compulsory from the age of 7 to 13. What was the gross primary enrollment rate for males?