Le ore di formazione professionale disposte dal datore di lavoro costituiscono “orario di lavoro”