LHC Availability Working Group – Deriving LHC Key Performance Indicators for LHC and the HL-LHC