Expanded introduction

With discussion of the difference between normal and byzantine failures.