Using integer programming in finding t-designs