Engineering alternative splicing devices for mammalian synthetic biology