已知正三棱柱ABC-A'B'C'的底面边长为4,侧棱长为1,则过BC与底面成30°的平面去截该三棱柱所得的截面面积是多少