¿Qué es el derecho laboral y cómo se divide?