European markets open higher with U.S. markets closed for Independence day