what are the two formulations of kant's categorical imperative