Toward machine learning for microscopic mechanisms : A formula search for crystal structure stability based on atomic properties