Exploring Asymmetric and Symmetric Terminations of BiOX(001) Surfaces via a DFT-Based Method: Influence of Halogen Identity (X = F, Cl, Br, I)