路西法和撒旦有什么区别