Ferieloven og bestemmelser om ferie for sjømenn