Coal miners happy with federal judge's decision in NIOSH injunction