Language Models for Controllable DNA Sequence Design