Create a program that uses at least 2 threads to multithread the producer and consumer problem without race conditions using mutex locks.