what is eddie murphy’s net worth