First-principles modeling of binary layered topological insulators: Structural optimization and exchange-correlation functionals