I am in the process of putting in a cement patio. I have dug out the old "lawn" and levelled and compacted the dirt. It is very clay-like and compacts quite hard. Do I still need to put gravel down before I pour the cement? If so, how thick a layer should it be? And how thick a layer of cement should I pour?