Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem