¿Es obligatoria la formación específica ATEX si el trabajador ya ha recibido formación general en PRL?