Model-based diagnosis preferences and strategies representation with logic meta-programming