Former RTD terminal on 16th Street Mall to become $200M mixed-use development