BBP-type formulas for pi