Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics