Ito's Formula for Non-Smooth Functions