hat matching problem probability