How is the aggregate supply curve derived?