Digital Picture Processing: An Introduction