Availability of three-lever operant task as mouse model for studying motor sequence and skill learning