Proportion of the recreational season that Lake Ginninderra was closed to recreational activities by closure reason, 2015–16 to 2022–23