Edinburgh man who bought lottery ticket after bad day at work 'set for life'