Exploring different models of effort-based tasks to measure motivational states in mice