Splicing-Based Synthetic Gene Circuits For Universal Logic Computation In Mammalian Cells