Bodies of 4 workers retrieved from Assam mine so far, ops on to rescue 5 trapped