Special thanks to Michael Cooter for motivating me to write this document and for his useful suggestions and comments.