Describir: Binary matrix factorisation via column generation