added getter for the number of workers and default constructor