An introduction to Android