Descriptional complexity of pushdown store languages