STAMINA: a competition to encourage the development and assessment of software model inference techniques