A Variational Model for Dislocations at Semi-coherent Interfaces