UPDATE: Miners’ pensions, health benefits preserved by Senate vote