一立方要砌多少红砖