how big are these compared to the regular grilled stuffed burritos?