What's a better choice among mint and Ubuntu for software engineering students?