An analysis of the global applicability of Ostrom's design principles to diagnose the functionality of common-pool resource institutions