Fixed point theorems for correspondences with values in a partially ordered set and extended supermodular games