A programmable alternative splicing platform for regulating protein diversity