Statistical inference of progressivity dominance: an application to health care financing distributions