Fine tuning a logical model of cancer cells to predict drug synergies: combining manual curation and automated parameterization