how thick should tortillas be pressed