Is a 10 gallon enough for 3 mice?