Nine area players make all-district baseball teams