Applications of Bayesian statistical methodology to success criteria: A case study of a phase 2 design with interim futility assessment in patients with knee osteoarthritis. (April 2016)