An introduction to batik