A model for shape memory alloys with the possibility of voids