Symbolic Computation to Derive a Linear-Elastic Buckling Theory for Solids with Periodic Microstructure