what is the standard size of the largest porch?​