Efficient Generation of Binary Magic Squares