A Semantic Proof of Polytime Soundness of Light Affine Logic