Antiferromagnetic properties of solid oxygen studied by positive muons