Completely reflow introduction, use IEEE references, fix references