Leveraging Transformer Architectures for Automated Building Detection in High-Resolution Satellite Images