Gravar-mail: An integer programming model for truss topology optimization