Model-free posterior inference on the area under the receiver operating characteristic curve