Title: Tight area bounds and provably good AT{sup}2 bounds for sorting circuits