A variational approach to single crystals with dislocations