When was the book of malachi written in the bible