UC Berkeley Researchers tap the smarts of mice, capture problem-solving in action