对于煤矿工人，下列疾病中壁球法定职业病的是（ ）。