Planning as Satisfiability with IPC Simple Preferences and Action Costs