How to get rid of mice in basement ceiling