Developing antimony stable isotope methods as a new geochemical redox indicator: computational isotopic fractionation studies