A refinement of the structure of barium tantalum oxide, Ba5Ta4O15